In linear algebra, for a matrix A, there may not always exist a full set of linearly independent eigenvectors that form a complete basis – a matrix may not be diagonalizable. This happens when the algebraic multiplicity of at least one eigenvalue λ is greater than its geometric multiplicity (the nullity of the matrix , or the dimension of its nullspace). In such cases, a generalized eigenvector of A is a nonzero vector v, which is associated with λ having algebraic multiplicity k ≥1, satisfying
The set of all generalized eigenvectors for a given λ form the generalized eigenspace for λ.
Ordinary eigenvectors and eigenspaces are obtained for k=1.
Contents |
Generalized eigenvectors are needed to form a complete basis of a defective matrix, which is a matrix in which there are fewer linearly independent eigenvectors than eigenvalues (counting multiplicity). Over an algebraically closed field, the generalized eigenvectors do allow choosing a complete basis, as follows from the Jordan form of a matrix.
In particular, suppose that an eigenvalue λ of a matrix A has an algebraic multiplicity m but fewer corresponding eigenvectors. We form a sequence of m eigenvectors and generalized eigenvectors that are linearly independent and satisfy
for some coefficients , for . It follows that
The vectors can always be chosen, but are not uniquely determined by the above relations. If the geometric multiplicity (dimension of the eigenspace) of λ is p, one can choose the first p vectors to be eigenvectors, but the remaining m − p vectors are only generalized eigenvectors.
If
Then there is one eigenvalue λ=1 with an algebraic multiplicity m of 2.
There are several ways to see that there will be one generalized eigenvector necessary. Easiest is to notice that this matrix is in Jordan normal form, but is not diagonal, meaning that this is not a diagonalizable matrix. Since there is 1 superdiagonal entry, there will be one generalized eigenvector (or you could note that the vector space is of dimension 2, so there can be only one generalized eigenvector). Alternatively, you could compute the dimension of the nullspace of to be p=1, and thus there are m-p=1 generalized eigenvectors.
Computing the ordinary eigenvector is left to the reader (see the eigenvector page for examples). Using this eigenvector, we compute the generalized eigenvector by solving
Writing out the values:
This simplifies to
This simplifies to
And has no restrictions and thus can be any scalar. So the generalized eigenvector is , where the * indicates any value is fine. Usually picking 0 is easiest.
Axler, Sheldon (1997). Linear Algebra Done Right (2nd ed.). Springer. ISBN 978-0387982588.